ocr: - - -a deu Eo a Xax petpe *e % 0848904019H d L a * METUV - tos a * - - peumiheisealel Sl à iseweenbcene tdaumi tatdtucens HAMHAW sauNatal Nactuptan - ER accon à s à :- : * - E - sut oels à 1 # a a a - - a F Mceln a - D 1 AX : 2 ARS Figure 1: Checkpoints in the Java SDKS project.